1. Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
Author: Patrice Godefroid
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Parallel processing )Electronic computers(,، Computer software -- Verification
Classification :
QA
76
.
L28
Vol
.
1032
2. Temporal verification of reactive systems: safety
Author: Manna, Zohar
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Verification,، Parallel processing )Electronic computers(
Classification :
QA
76
.
76
.
V47
.
M36
1995
